1. tt = ff \\[0ex]$\vdash$ False